$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $z$:(E List). es{-}interface{-}sublist($X$;$z$) $\in$ (E($X$) List)